KD1999
id_total, 0.972563952
id_io_time, 0.0
id_global_time, 0.0
id_inclusion_check, 0.012873682
id_inclusion_check_mod_p, 0.006411253
id_groebner_time, 0.042775762
id_beautifulization, 0.13964391
id_normalforms_time, 0.0
id_gbfan_time, 0.0
id_ranking, 383.0
